seanpm2001 / Learn-MiniZinc Star 3 Code Issues Pull requests Discussions 📚️ A repository for showcasing my knowledge of the MiniZinc programming language, and continuing to learn the language. gplv3 minizinc gpl3 learn-minizinc learn-minizinc-lang learn-minizinc-language minizinc-lang minizinc-language Updated Apr 2, 2025 MiniZinc
frizensami / slot-constraint-solver Star 2 Code Issues Pull requests Assigning students to slots to visit somewhere (somewhat fairly) using MiniZinc minizinc Updated Apr 11, 2025 MiniZinc
seanpm2001 / SNU_2D_ProgrammingTools_IDE_MiniZinc Star 2 Code Issues Pull requests Discussions ⌨️ The MiniZinc data programming language IDE submodule for SNU Programming Tools (2D Mode) web-development programming web-ide gplv3 ide minizinc snu gpl3 snu2d-programmingtools snu-2d snu-programming-tools snu-2d-programmingtools snu-development snu-2d-programming-tools snuprogrammingtools snuprogramming-tools snu2dprogrammingtools snu2dprogramming-tools minizinc-lang minizinc-language Updated Apr 2, 2025 MiniZinc